A game theoretic macroscopic model of lane choices at traffic diverges with applications to mixed–autonomy networks

Macroscopic Characteristics of Lane-changing Traffic

On a multi-lane roadway, systematic lane-changes can seriously disrupt traffic flow and cause capacity reductions. Therefore it is important to understand the characteristics of lanechanging traffic flow. In our previous study, a new variable, lane-changing intensity, was theoretically derived by doubling the contribution to the total density of a lane-changing vehicle during its lane-changing ...

Game-Theoretic Semantics for ATL+ with Applications to Model Checking

We develop a game-theoretic semantics (GTS) for the fragment ATL of the Alternating-time Temporal Logic ATL∗, essentially extending a recently introduced GTS for ATL. We show that the new game-theoretic semantics is equivalent to the standard compositional semantics of ATL (with perfectrecall strategies). Based on the new semantics, we provide an analysis of the memory and time resources needed...

Macroscopic Modeling of Managed Lane-Freeway Networks

We propose a macroscopic modeling framework for networks of freeways equipped with managed lanes. Two types of managed lane configuration are considered: full-access, where vehicles can switch between the general purpose (GP) and the managed lanes anywhere; and separated, where such switching is allowed only at certain locations called gates. The proposed framework is based on widely-used first...

A Game-Theoretic Approach to Distributed Control of Traffic Signals

Game-theoretic techniques have been proved useful in modelling the conflict of interest and the cooperation among agents. This work aims at applying such an approach to model interactions in the domain of decen~alized traffic signal control where either cooperative or noncooperative interactions arise. Case-studies are described in which agents have been assigned either to intersections or to l...

A Game Theoretic Approach to Traffic Flow Control